Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
The Aegypti Algorithm
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·8h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·19h
λLambda Formalization
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.com·2d
📟CLI Design
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·8h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post